$\forall$${\it ns}$:(MaName List), $A$, $B$:Realizer. $A$ $\subseteq$ $B$ $\Rightarrow$ $A$$\mid$${\it ns}$ $\subseteq$ $B$$\mid$${\it ns}$